• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۵۰ پاسخ غیر تکراری از ۵۰ پاسخ تکراری در مدت زمان ۰,۲۵ ثانیه یافت شد.

21. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: S. Brookes...]et al.[, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
598

22. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: M. Main...]et al.[, )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics

Classification :
QA
76
.
L28
Vol
.
442

23. Natural language at the computer: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
9
.
N38
.
S38
1988

24. Natural language understanding and logic programming, II

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited by Veronica Dahl and Patrick Saint-Dizier

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses

Classification :
QA76
.
7
.
I578
1987

25. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Veronica Dahl and Patrick Saint-Dizier

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming

Classification :
QA
76
.
63
.
I58
1987

26. Practical aspects of declarative languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Programming languages (Electronic computers) ; Semantics ; Congresses. ;

Classification :

27. Practical aspects of declarative languages :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Pascal Van Hentenryck (ed.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Programming languages (Electronic computers)-- Semantics, Congresses

Classification :
QA76
.
7
.
P32
2006

28. Practical aspects of declarative languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Andy Gill, Terrance Swift (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

Classification :
QA76
.
615
.
P33
2009eb

29. Practical aspects of declarative languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Michael Hanus (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Programming languages (Electronic computers)--Semantics--Congresses

Classification :
QA
,
76
.
7
,.
P32
,
2007

30. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Gopal Gupta )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
1551

31. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Enrico Pontelli, Vitor Santos Costa )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming

Classification :
QA
76
.
L28
Vol
.
1753

32. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Manuel Hermenegildo, Daniel Cabeza )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
3350

33. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Michael Hanus )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
4354

34. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Bharat Jayaraman )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
3057

35. Practical aspects of declarative languages :5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Veronica Dahl, Philip Wadler )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
2562

36. Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: I.V. Ramakrishnan

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
1990

37. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : )PEPM'04( : August 24-25, 2004, Verona, Italy

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
6
.
P45
2004

38. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
6
.
P45
2003

39. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP

Library: Tehran University, technical faculty libraries 1 (Tehran)

Subject: Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses

Classification :
QA
76
.
7
.
S97
1991

40. Semantics and algebraic specificatio

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jens Palsberg (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses

Classification :
QA
,
76
.
7
,.
S435
,
2009
  • »
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival